dimension of vector space